Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
191	Conversations About Type: Privacy, Grammars and Taboos Ned Augenblick and Aaron Bodoh-Creed Abstract We provide a model in which two strategic agents exchange verifiable information Add to Reading List Source URL: faculty.haas.berkeley.edu Language: English - Date: 2013-08-19 13:41:14 Bayesian game Internet privacy Trait Information Problem solving Behavior Signaling game Game theory Mechanism design Communication
192	ICM satellite event on logic and set theory Abstract of talks Joan Bagaria Structural Reﬂection and the Hierarchy of C(n) cardinals We introduce ﬁrst a new kind of reﬂection principle for the universe of all sets: Add to Reading List Source URL: ali.cmi.ac.in Language: English - Date: 2010-08-13 05:01:47 Forcing Boolean algebra Order theory Topology Descriptive set theory Borel set Model theory Set theory Interior algebra Mathematical logic Mathematics Logic
193	Structured Learning of Gaussian Graphical Models Karthik Mohan∗, Michael Jae-Yoon Chung†, Seungyeop Han†, Daniela Witten‡, Su-In Lee§, Maryam Fazel∗ Abstract We consider estimation of multiple high-dimensional Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2012-11-06 17:11:34 Estimation theory Statistical models Gene regulatory network Systems biology Maximum likelihood Graphical model Connectivity Statistics Networks Bayesian statistics
194	The Effects of Banning Advertising in Junk Food Markets Pierre Dubois, Rachel Griffith and Martin O’Connell∗ November 7, 2014 Abstract We develop a structural model to analyze the effects of banning advertising on ma Add to Reading List Source URL: econ.as.nyu.edu Language: English - Date: 2015-05-01 10:33:55 Consumer theory Advertising Microeconomics Marketing Design Demand Supply and demand Welfare economics Consumer choice Economics Communication design Graphic design
195	ESTIMATION THEORY AND INFORMATION GEOMETRY BASED ON DENOISING Aapo Hyv¨arinen Dept of Computer Science, Dept of Mathematics & Statistics, and HIIT University of Helsinki, Finland. ABSTRACT We consider a new estimation m Add to Reading List Source URL: sp.cs.tut.fi Language: English - Date: 2008-08-06 07:07:00 Fisher information Parametric model Estimator Linear regression Score Efficient estimator M-estimator Statistics Estimation theory Maximum likelihood
196	Nearly Linear-Time Model-Based Compressive Sensing Chinmay Hegde, Piotr Indyk, and Ludwig Schmidt Massachusetts Institute of Technology, Cambridge MA 02139, USA Abstract. Compressive sensing is a method for recording a Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2015-05-25 21:19:32 Analysis of algorithms Linear algebra Computational complexity theory Numerical linear algebra Sparse approximation Time complexity Compressed sensing Big O notation Tree decomposition Theoretical computer science Mathematics Applied mathematics
197	Microsoft PowerPoint - Montgomery_6 Add to Reading List Source URL: www.asmgap.org Language: English - Date: 2011-03-30 13:05:54 Publishing Biology Acinetobacter Iraq War Information retrieval Metalogic Abstract Model theory Search engine indexing Information science Microbiology Moraxellaceae
198	A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Mathematical logic Model theory Proof of knowledge Functions and mappings IP Zero-knowledge proof Structure Functor Soundness Mathematics Cryptographic protocols Logic
199	Security Adoption in Heterogeneous Networks: the Influence of Cyber-insurance Market Zichao Yang and John C.S. Lui Computer Science & Engineering Department The Chinese University of Hong Kong Abstract. Hosts (or nodes) Add to Reading List Source URL: www.cs.cuhk.hk Language: English - Date: 2012-06-30 22:31:18 Mathematics Cybernetics Network science Degree distribution Connectivity B-tree Generalized scale-free model Graph theory Network theory Networks
200	¨ GROBNER GEOMETRY OF VERTEX DECOMPOSITIONS AND OF FLAGGED TABLEAUX ALLEN KNUTSON, EZRA MILLER, AND ALEXANDER YONG A BSTRACT. We relate a classic algebro-geometric degeneration technique, dating Add to Reading List Source URL: www.math.duke.edu Language: English - Date: 2005-05-13 15:18:00 Geometric group theory Algebraic combinatorics Group theory Matrix theory Building Matrix Littelmann path model Algebra Abstract algebra Mathematics

UPDATE